#ifndef JIT_WORKQUEUE_H
#define JIT_WORKQUEUE_H

#include <linux/types.h>

extern uint owned_workqueue;
extern uint workqueue_delay;

int jit_workqueue_init(void);
void jit_workqueue_exit(void);

#endif /* JIT_WORKQUEUE_H */